Nuprl Definition : es_vartype
11,40
postcript
pdf
es_vartype(
es
;
i
;
x
) == rationals
es-T(
es
)(
i
,
x
)
latex
Definitions
x
:
A
B
(
x
)
,
rationals
,
f
(
a
)
,
es-T(
es
)
FDL editor aliases
es_vartype
origin
es-T(es)(i,x) es-T(es)(i,x) B(x)